Tool-supported Dependability Evaluation of Redundant Architectures in Computer-based Control Systems
نویسندگان
چکیده
Architectural choices have a profound influence on the dependability of a computer system. Dependability modelling and analysis is a method proposed for the early evaluation of the system architecture and the related design decisions. We describe the design, implementation and application of a tool that is able to construct automatically a dependability model (in the form of Generalized Stochastic Petri Nets) on the basis of a system architecture model. The dependability model can be solved by an external solver, computing in this way the system-level reliability or availability measures. The tool is modular, extensible and supports the aspect-oriented design of redundancy structures.
منابع مشابه
A Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملImproving Dependability in Service Oriented Architectures using Ontologies and Fault Injection
Large distributed systems and computer grids are increasingly being used in science and in business, with Service Oriented Architectures combined with Web services the current favoured solutions to access these distributed, heterogeneous resources. However, service-based systems have a high reliance on a middleware which is continuously evolving. This requires novel methods of testing and evalu...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملQuantitative Analysis of Concurrent System Architectures
Safety-critical software and systems development is subject to special dependability requirements. Early analysis of dependability during design and development phase is often a statutory condition for the approval of technical systems. In order to support the developers in verifying and analysing these systems the QuantUM tool was recently introduced [31]. The UML model of the system can be an...
متن کامل